$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$:E, ${\it e'}$:E($X$). (${\it e'}$ $<$loc $e$) $\Rightarrow$ ${\it e'}$ $\leq$loc prior($X$)($e$)